:- module(rdtok).
:- export read_tokens / 2.